科研证明
文献服务
退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:TamaRIN prover用于安全协议的符号分析
机译:使用双线性配对对组密钥交换协议进行计算合理的符号安全性降低分析
机译:符号模型和计算模型中选择的加密基元和安全协议分析的调查
机译:TAMARIN证明用于安全协议的符号分析
机译:开发基于链空间的模型并证明具有受限安全目标的IEEE 802.11i身份验证协议的正确性
机译:802.11s无线网状网络路由协议及其安全路由协议的安全性分析
机译:象征性地使用罗霖分析安全协议
机译:利用定理证明对安全协议的成分分析
机译:使用属性证书来证明通信方的属性或授权的通信安全协议
机译:在分布式终端网络中使用自适应安全协议的面部识别,图像分析和分散学习框架
机译:基于网络连接协议分析的网络安全事件识别方法和系统
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。